<?php

session_start();
unset($_SESSION['username']);
unset($_SESSION['uid']);
session_write_close();

echo <<<eof
  <script type='text/javascript'>
    window.location = '/index.html';
  </script>
eof;

?>